[ACM Press the 13th Eurpoean conference - Zurich, Switzerland (2006.09.20-2006.09.22)] Proceedings of the 13th Eurpoean conference on Cognitive ergonomics trust and control in complex socio-technical systems - ECCE '06 - Online card sorting
- 作者Bussolon, Stefano; Russi, Barbara; Missier, Fabio Del
- 文件大小43.75KB
- 发表时间2006
- DOI10.1145/1274892.1274912
Fair stateless model checkingMusuvathi, Madanlal; Qadeer, Shaz · ACM SIGPLAN Notices · 2008
[IEEE 2009 31st International Conference on Software Engineering - Companion Volume - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 31st International Conference on Software Engineering - Companion Volume - Deconstructing concurrency heisenbugsBall, Thomas; Burckhardt, Sebastian; de Halleux, Jonathan; Musuvathi, Madanlal; Qadeer, Shaz · 2009
[ACM Press the 2008 ACM SIGPLAN conference - Tucson, AZ, USA (2008.06.07-2008.06.13)] Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation - PLDI '08 - Fair stateless model checkingMusuvathi, Madanlal; Qadeer, Shaz · 2008
[ACM Press the 42nd ACM technical symposium - Dallas, TX, USA (2011.03.09-2011.03.12)] Proceedings of the 42nd ACM technical symposium on Computer science education - SIGCSE '11 - Practical parallel and concurrent programmingSadowski, Caitlin; Ball, Thomas; Bishop, Judith; Burckhardt, Sebastian; Gopalakrishnan, Ganesh; Mayo, Joseph; Musuvathi, Madanlal; Qadeer, Shaz; Toub, Stephen · 2011
[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - Iterative context bounding for systematic testing of multithreaded programsMusuvathi, Madanlal; Qadeer, Shaz · 2007
Guarded recursive datatype constructorsXi, Hongwei; Chen, Chiyan; Chen, Gang · ACM SIGPLAN Notices · 2003
The towers of HanoiEggers, Bleicke · ACM SIGPLAN Notices · 1985
ESPDas, Manuvir; Lerner, Sorin; Seigle, Mark · ACM SIGPLAN Notices · 2002
Are applicative languages inefficient?Ponder, Carl G.; McGeer, Patrick; Ng, Anthony P-C. · ACM SIGPLAN Notices · 1988
Paths between imperative and functional programmingBall, Thomas · ACM SIGPLAN Notices · 1999
Scalable component abstractionsOdersky, Martin; Zenger, Matthias · ACM SIGPLAN Notices · 2005
PinocchioVerwaest, Toon; Bruni, Camillo; Gurtner, David; Lienhard, Adrian; Niestrasz, Oscar · ACM SIGPLAN Notices · 2010
Regularities considered harmfulPark, Heekwon; Baek, Seungjae; Choi, Jongmoo; Lee, Donghee; Noh, Sam H. · ACM SIGPLAN Notices · 2013